@Comment{$$Id: extra.bib,v 1.1 2007-02-03 05:56:45 gernot Exp $$}

@Comment{References specific to this paper.
	 Please use this sparingly, anything else than a one-off
	 Should go into the group bib files!}
